Towards a metric for open source software quality

Software quality is more than just conformance to a set of requirements and represents many attributes related to each other that make up a piece of software. An important part of this measure depends on the underlying processes and methodologies used in the engineering of software. We present an early exposition towards a quality model for open source software (OSS). We describe some basic notions of quality for OSS and present a basic model, where quality notions consist of various factors that influence such quality. The purpose of this effort is ultimately to develop a quantitative metric for software quality

Methodologies and tools for OSS: current state of the practice

Over the years, the Open Source Software (OSS) development has matured and strengthened, building on some established methodologies and tools. An understanding of the current state of the practice, however, is still lacking. This paper presents the results of a survey of the OSS developer community with a view to gain insight of peer review, testing and release management practices, along with the current tool sets used for testing, debugging and, build and release management. Such an insight is important to appreciate the obstacles to overcome to introduce certification and more rigour into the development process. It is hoped that the results of this survey will initiate a useful discussion and allow the community to identify further process improvement opportunities for producing better quality software

Specifying authentication using signal events in CSP

The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of security properties, foremost of which is authentication. The formal specification of authentication has long been a subject of examination. In this paper, we discuss the use of correspondence to formally specify authentication and focus on Schneider's use of signal events in the process algebra Communicating Sequential Processes (CSP) to specify authentication. The purpose of this effort is to strengthen this formalism further. We develop a formal structure for these events and use them to specify a general authentication property. We then develop specifications for recentness and injectivity as sub-properties, and use them to refine authentication further. Finally, we use signal events to specify a range of authentication definitions and protocol examples to clarify their use and make explicit related theoretical issues. our work is motivated by the desire to effectively analyse and express security properties in formal terms, so as to make them precise and clear. (C) 2008 Elsevier Ltd. All rights reserved

Certification of open-source software : a role for formal methods?

Despiteitshugesuccessandincreasingincorporationincom- plex, industrial-strength applications, open source software, by the very nature of its open, unconventional, distributed development model, is hard to assess and certify in an effective, sound and independent way. This makes its use and integration within safety or security-critical systems, a risk. And, simultaneously an opportunity and a challenge for rigourous, mathematically based, methods which aim at pushing software analysis and development to the level of a mature engineering discipline. This paper discusses such a challenge and proposes a number of ways in which open source development may benefit from the whole patrimony of formal methods.L. S. Barbosa research was partially supported by the CROSS project, under contract PTDC/EIA-CCO/108995/2008

Towards a knowledge-based approach for effective decision making in railway safety

Purpose – This paper aims to contribute towards understanding how safety knowledge can be elicited from railway experts for the purposes of supporting effective decision-making. Design/methodology/approach – A consortium of safety experts from across the British railway industry is formed. Collaborative modelling of the knowledge domain is used as an approach to the elicitation of safety knowledge from experts. From this, a series of knowledge models is derived to inform decision-making. This is achieved by using Bayesian networks as a knowledge modelling scheme, underpinning a Safety Prognosis tool to serve meaningful prognostics information and visualise such information to predict safety violations. Findings – Collaborative modelling of safety-critical knowledge is a valid approach to knowledge elicitation and its sharing across the railway industry. This approach overcomes some of the key limitations of existing approaches to knowledge elicitation. Such models become an effective tool for prediction of safety cases by using railway data. This is demonstrated using passenger–train interaction safety data. Practical implications – This study contributes to practice in two main directions: by documenting an effective approach to knowledge elicitation and knowledge sharing, while also helping the transport industry to understand safety. Social implications – By supporting the railway industry in their efforts to understand safety, this research has the potential to benefit railway passengers, staff and communities in general, which is a priority for the transport sector. Originality/value – This research applies a knowledge elicitation approach to understanding safety based on collaborative modelling, which is a novel approach in the context of transport. </jats:sec

Optimising IDS sensor placement

Abstract—In large network environments multiple intrusion detection sensors are needed to adequately monitor network traffic. However, deploying and managing additional sensors on a large network can be a demanding task, and organisations have to balance their desire for detecting intrusions throughout their network with financial and staffing limitations. This paper investigates how intrusion detection system (IDS) sensors should best be placed on a network when there are several competing evaluation criteria. This is a computationally difficult problem and we show how Multi-Objective Genetic Algorithms provide an excellent means of searching for optimal placements. I

DESIGN EXPERT SUPPORTED FORMULATION DEVELOPMENT, MATHEMATICAL OPTIMIZATION AND PREDICTABILITY STUDY OF FLOATING TABLETS OF BISOPROLOL FUMARATE

Objective: Focus of the study was to formulate Design expert Software assisted floating tablet of Bisoprolol Fumarate. Bisoprolol Fumarate is a Beta adrenergic blocking agent, used to treat cardiac diseases favorable characters to be formulated as sustained release Gastro retentive floating tablets. Methods: Floating Tablets of Bisoprolol Fumarate were prepared by using polymers such as Polyox N 12 K and Carbapol 940 P. Formulations were prepared by using direct compression method and evaluated for various parameters like Hradness, thickness, weight variations, Floating lag time Total floating time,% drug release and Stability Study etc. Results: FTIR spectroscopic study indicates no drug-excipients interaction in the prepared formulations. Hardness or crushing strength of the tablets of all the formulation was found between 5.8 and 6.5 kg/cm2. Floating lag time of all batches is in range of 1.18±2.0 to 2.43±1.6 (minutes). All other parameters of all batches are within an acceptable range. The polymer Carbopol 940 P had the significant negative effect of on the floating lag times. The In vitro dissolution profiles of optimized A3 Floating formulation of Bisoprolol Fumarate were found to sustain drug release 99.25 % up to 12 h with floating lag time of 1.45 min; Designed formulation was stable after Stability study. Optimization study was carried out by using 32&nbsp;factorial designs to fabricate formulations. Conclusion: It can be conclude that reproducible results of various parameters in this developed formulation can easily scale up. Furthermore designed formulation will be very effective for controlling blood pressure

Efficient and reliable transportation of consignments (ERTOC)

This paper describes a new initiative to drive business improvement and sustainability throughout the supply chain from factory to point of sale. The effort, called Efficient and Reliable Transportation of Consignments (ERTOC), aims to develop a standards based open architecture data hub to deliver accurate information for transport operators and their customers to use and improve business efficiency and effectiveness. Only by understanding the true environmental costs involved, users will be able to compare and assess different transport options to make better informed choices. Such a need drives this effort to demonstrate how a standardised data hub can track the carbon costs of transport at consignment level. The paper presents the underlying architecture of the proposed system, which servesto integrate (diverse and third party)resources, involving collection of data, storage and provision of it for further processing